Embedding an Arbitrary 1-safe Petri Net into a Boolean Petri Net
نویسندگان
چکیده
Petri, C. A. , Kommunikation mit automaten, Schriften des Institutes fur Instrumentelle Mathematik, Bonn, 1962. Callou, G. , Macial, P. , Tutsch, D. , Araujo, J. , Ferreira, J. and Souza, R. , A Petri net-based approach to the quantification of data center dependability. In: Petri nets—Manufacturing and Computer Science (Ed. : Pawel Pawlewski), 2012, 313-336. Dassow, J. , Mavlankulov, G. , Othman, M. , Turaev, S. , Selamat, M. H. and Stiebe, R. , Grammers controlled by Petri nets. In: Petri nets — Manufacturing and Computer Science
منابع مشابه
Construction of a Crisp Boolean Petri Net from a 1-safe Petri Net
The concept of a Petri net, a tool for the study of certain discrete dynamical systems, was invented in 1939 by Carl Adam Petri. In the attempt to characterize Boolean Petri nets, we discovered a subclass of Boolean Petri net called the crisp Boolean Petri net, viz. , the one that generates every binary vector as its marking vectors exactly once. In this paper, the construction of a crisp Boole...
متن کاملExistence and Uniqueness of a Minimum Crisp Boolean Petri Net
In the continuing research towards characterizing 1-safe Petri nets with n-places and generating all the 2n binary n-vectors as marking vectors exactly once, the problem of determine minimum Petri nets; 'minimum' in the sense that the number of transitions is kept minimum possible for the generation of all the 2n binary n-vectors has been found. In this paper, the existence and unique...
متن کاملEmbedding the free-choice semantics of AND/XOR-EPCs into the Boolean semantics
Abstract. Each Event-driven Process Chain (EPC) translates into a free-choice system if its control flow branches and joins only at ANDor XOR-connectors. This free-choice system defines the free-choice semantics of the AND/XOR-EPC. But free-choice systems are not capable to deal with OR-connectors. Therefore a general EPC with OR-connectors obtains a semantics not until it has been translated i...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013